Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
721	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
722	Cópia de IPS+STS Sessions Schedule V4.xlsx Add to Reading List Source URL: www.isi2015.org Language: English - Date: 2015-05-28 08:35:04 Data analysis Scientific method Research methods Econometrics Data mining Statistical inference Spatial analysis Exploratory data analysis Regression analysis Statistics Science Formal sciences
723	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
724	Aspekte der Wissensrepräsentation in der Computerlinguistik Seminar SS 02 Dr. Kai-Uwe CarstensenTuula Wälchli Add to Reading List Source URL: files.ifi.uzh.ch Language: English - Date: 2003-01-27 08:11:18 Information science Technical communication Knowledge representation Knowledge OntoClean Formal ontology Upper ontology Nicola Guarino Mereology Science Ontology Information
725	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
726	David Wolpert Research Statement Although my degrees were in physics (Princeton, then the Kavli Institute for Theoretical Physics), my interests are far broader. Reflecting this I have worked at the Santa Fe Institute, t Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2009-01-20 12:52:14 Knowledge Ethology Information theory Probability Decision theory Physics Game theory Control theory Machine learning Science Formal sciences Cybernetics
727	Simon M. Huttegger Department of Logic and Philosophy of Science 3151 Social Science Plaza A, University of California Irvine Irvine, CA Add to Reading List Source URL: faculty.sites.uci.edu Language: English - Date: 2014-08-29 15:09:01 Epistemology Philosophers of science Brian Skyrms Game theory Signaling game Kenneth Binmore Formal epistemology Philosophy of biology Philosophy of science Science Knowledge Philosophy
728	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
729	SOMA Analytics Data Science Internship London SOMA Analytics is an investor-backed and award-winning startup that develops pioneering mobile Add to Reading List Source URL: www.soma-analytics.com Language: English - Date: 2015-01-15 05:48:00 Business Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Data analysis Soma Science Business intelligence Knowledge
730	Project Summary The design and analysis of network algorithmics solutions is a rich area of research that has led to numerous successful deployments in commercial Internet routers and network monitoring appliances. In ge Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2014-03-25 14:56:33 Computational complexity theory Cybernetics Formal sciences Computer science Best worst and average case Stochastic Algorithm Control theory Applied mathematics Mathematics Analysis of algorithms

UPDATE